A \textsf{C++} reasoner for the description logic \shdlssx (Extended Version)

We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic \dlssx (shortly \shdlssx). The reasoner checks the consistency of \shdlssx-knowledge bases (KBs) represented in set-theoretic terms. It is implemented in \textsf{C++} and supports \shdlssx-KBs serialized in the OWL/XML format. To the best of our knowledge, this is the first attempt to implement a reasoner for the consistency checking of a description logic represented via a fragment of set theory that can also classify standard OWL ontologies.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1702.03096, arXiv:1804.1122

A set-based reasoner for the description logic \shdlssx (Extended Version)

We present a \ke-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic \dlssx (\shdlssx, for short). Our application solves the main TBox and ABox reasoning problems for \shdlssx. In particular, it solves the consistency problem for \shdlssx-knowledge bases represented in set-theoretic terms, and a generalization of the \emph{Conjunctive Query Answering} problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and optimizes a previous prototype for the consistency checking of \shdlssx-knowledge bases (see \cite{cilc17}), is implemented in \textsf{C++}. It supports \shdlssx-knowledge bases serialized in the OWL/XML format, and it admits also rules expressed in SWRL (Semantic Web Rule Language).Comment: arXiv admin note: text overlap with arXiv:1804.11222, arXiv:1707.07545, arXiv:1702.0309

An automated method for the ontological representation of security directives

Large documents written in juridical language are difficult to interpret, with long sentences leading to intricate and intertwined relations between the nouns. The present paper frames this problem in the context of recent European security directives. The complexity of their language is here thwarted by automating the extraction of the relevant information, namely of the parts of speech from each clause, through a specific tailoring of Natural Language Processing (NLP) techniques. These contribute, in combination with ontology development principles, to the design of our automated method for the representation of security directives as ontologies. The method is showcased on a practical problem, namely to derive an ontology representing the NIS 2 directive, which is the peak of cybersecurity prescripts at the European level. Although the NLP techniques adopted showed some limitations and had to be complemented by manual analysis, the overall results provide valid support for directive compliance in general and for ontology development in particular

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)

We present an OWL 2 ontology representing the Saint Gall plan, one of the most ancient documents arrived intact to us, which describes the ideal model of a Benedictine monastic complex that inspired the design of many European monasteries.Comment: 10 pages, 10 figure

An optimized KE-tableau-based system for reasoning in the description logic \shdlssx (Extended Version)

We present a \ke-based procedure for the main TBox and ABox reasoning tasks for the description logic \dlssx, in short \shdlssx. The logic \shdlssx, representable in the decidable multi-sorted quantified set-theoretic fragment \flqsr, combines the high scalability and efficiency of rule languages such as the Semantic Web Rule Language (SWRL) with the expressivity of description logics. %In fact it supports, among other features, Boolean operations on concepts and roles, role constructs such as the product of concepts and role chains on the left hand side of inclusion axioms, and role properties such as transitivity, symmetry, reflexivity, and irreflexivity. Our algorithm is based on a variant of the \ke\space system for sets of universally quantified clauses, where the KE-elimination rule is generalized in such a way as to incorporate the $\gamma$-rule. The novel system, called \keg, turns out to be an improvement of the system introduced in \cite{RR2017} and of standard first-order \ke x \cite{dagostino94}. Suitable benchmark test sets executed on C++ implementations of the three mentioned systems show that the performances of the \keg-based reasoner are often up to about 400\% better than the ones of the other two systems. This a first step towards the construction of efficient reasoners for expressive OWL ontologies based on fragments of computable set-theory.Comment: arXiv admin note: text overlap with arXiv:1702.03096, arXiv:1805.0860

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services

In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs. Conditionals and OSCs, as defined in OASIS, are applied to extend with ontological capabilities digital public ledgers such as the blockchain and smart contracts implemented on it. We will also sketch the architecture of a framework based on the OASIS definition of OSCs that exploits the Ethereum platform and the Interplanetary File System.Comment: This work has been accepted for publication at The 14th International Symposium on Intelligent Distributed Computing, 21--23 September 2020, Scilla, Reggio Calabria, Italy. Proceedings and conference have been postponed to September 2021. Paper accepted on 8 September 202

The Ontology for Agents, Systems and Integration of Services: OASIS version 2

Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agents, one has been essentially achieved by taking a behaviouristic vision, through which one can describe how they operate and engage with their peers. The approach essentially aims at defining the operational capabilities of agents through the mental states related with the achievement of tasks. The OASIS ontology -- An Ontology for Agent, Systems, and Integration of Services, presented in 2019 -- pursues the behaviouristic approach to deliver a semantic representation system and a communication protocol for agents and their commitments. This paper reports on the main modeling choices concerning the representation of agents in OASIS 2, the latest major upgrade of OASIS, and the achievement reached by the ontology since it was first introduced, in particular in the context of ontologies for blockchains.Comment: Already published on Intelligenza Artificiale, Vol. 17, no 1, pp. 51-62, 2023. DOI 10.3233/IA-23000

Dynamics of Viral Infection and Evolution of SARS-CoV-2 Variants in the Calabria Area of Southern Italy

In this study, we report on the results of SARS-CoV-2 surveillance performed in an area of Southern Italy for 12 months (from March 2021 to February 2022). To this study, we have sequenced RNA from 609 isolates. We have identified circulating VOCs by Sanger sequencing of the S gene and defined their genotypes by whole-genome NGS sequencing of 157 representative isolates. Our results indicated that B.1 and Alpha were the only circulating lineages in Calabria in March 2021; while Alpha remained the most common variant between April 2021 and May 2021 (90 and 73%, respectively), we observed a concomitant decrease in B.1 cases and appearance of Gamma cases (6 and 21%, respectively); C.36.3 and Delta appeared in June 2021 (6 and 3%, respectively); Delta became dominant in July 2021 while Alpha continued to reduce (46 and 48%, respectively). In August 2021, Delta became the only circulating variant until the end of December 2021. As of January 2022, Omicron emerged and took over Delta (72 and 28%, respectively). No patient carrying Beta, Iota, Mu, or Eta variants was identified in this survey. Among the genomes identified in this study, some were distributed all over Europe (B1_S477N, Alpha_L5F, Delta_T95, Delta_G181V, and Delta_A222V), some were distributed in the majority of Italian regions (B1_S477N, B1_Q675H, Delta_T95I and Delta_A222V), and some were present mainly in Calabria (B1_S477N_T29I, B1_S477N_T29I_E484Q, Alpha_A67S, Alpha_A701S, and Alpha_T724I). Prediction analysis of the effects of mutations on the immune response (i.e., binding to class I MHC and/or recognition of T cells) indicated that T29I in B.1 variant; A701S in Alpha variant; and T19R in Delta variant were predicted to impair binding to class I MHC whereas the mutations A67S identified in Alpha; E484K identified in Gamma; and E156G and ΔF157/R158 identified in Delta were predicted to impair recognition by T cells. In conclusion, we report on the results of SARS-CoV-2 surveillance in Regione Calabria in the period between March 2021 and February 2022, identified variants that were enriched mainly in Calabria, and predicted the effects of identified mutations on host immune response

Inter-society consensus for the use of inhaled corticosteroids in infants, children and adolescents with airway diseases

Background: In 2019, a multidisciplinary panel of experts from eight Italian scientific paediatric societies developed a consensus document for the use of inhaled corticosteroids in the management and prevention of the most common paediatric airways disorders. The aim is to provide healthcare providers with a multidisciplinary document including indications useful in the clinical practice. The consensus document was intended to be addressed to paediatricians who work in the Paediatric Divisions, the Primary Care Services and the Emergency Departments, as well as to Residents or PhD students, paediatric nurses and specialists or consultants in paediatric pulmonology, allergy, infectious diseases, and ear, nose, and throat medicine. Methods: Clinical questions identifying Population, Intervention(s), Comparison and Outcome(s) were addressed by methodologists and a general agreement on the topics and the strength of the recommendations (according to the GRADE system) was obtained following the Delphi method. The literature selection included secondary sources such as evidence-based guidelines and systematic reviews and was integrated with primary studies subsequently published. Results: The expert panel provided a number of recommendations on the use of inhaled corticosteroids in preschool wheezing, bronchial asthma, allergic and non-allergic rhinitis, acute and chronic rhinosinusitis, adenoid hypertrophy, laryngitis and laryngospasm. Conclusions: We provided a multidisciplinary update on the current recommendations for the management and prevention of the most common paediatric airways disorders requiring inhaled corticosteroids, in order to share useful indications, identify gaps in knowledge and drive future research